Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints | IEEE Conference Publication | IEEE Xplore